COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source file
C00004 ENDMK
C⊗;
.require "let.pub" source file
∂AIL Professor J. Gat, Chairman↓Senior Appointments Committee↓The Weizmann Institute↓Rehovot, ISRAEL∞

Dear Professor Gat:

Sorry to have been delayed in answering your letter about Zohar Manna.  

Your first
question can be answered quite simply.  I am recommending him for a tenured
appointment at Stanford.  

I consider his principle contribution to be methods
for proving that computer programs meet their specifications.  In that area I
would put Dana Scott of Oxford University ahead of him in terms of having made
a greater single spectacular contribution, but I would put Manna on equal
terms with Burstall, Milner, and Hoare and ahead of Igarashi and London.  His
ability to synthesize the work of the field into a book is an additional reason why
I would like to keep him here and why you should want him.  I should say that whether
Stanford makes him a suitable offer depends not only on me.

.sgn